Boigelot, R.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Domain-specific regular acceleration

Bernard Boigelot

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 375 KB

english, 2012

2

An effective decision procedure for linear arithmetic over the integers and reals

Boigelot, Bernard, Jodogne, Sébastien, Wolper, Pierre

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 297 KB

english, 2005

3

Biorthogonal wavelets in Hm(ℝ)

F. Bastin, C. Boigelot

Journal:

Journal of Fourier Analysis and Applications

Year:

1998

Language:

english

File:

PDF, 767 KB

english, 1998

4

Counting the solutions of Presburger equations without enumerating them

Bernard Boigelot, Louis Latour

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 242 KB

english, 2004

5

A generalization of Cobham’s theorem to automata over real numbers

Bernard Boigelot, Julien Brusten

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 802 KB

english, 2009

6

Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs

Bernard Boigelot, Patrice Godefroid

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 131 KB

english, 1999

7

On iterating linear transformations over recognizable sets of integers

Bernard Boigelot

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 547 KB

english, 2003

8

Min Max Generalization for Deterministic Batch Mode Reinforcement Learning: Relaxation Schemes

Fonteneau, R., Ernst, D., Boigelot, B., Louveaux, Q.

Journal:

SIAM Journal on Control and Optimization

Year:

2013

Language:

english

File:

PDF, 675 KB

english, 2013

9

The SiO2–P2O5 binary system: New data concerning the temperature of liquidus and the volatilization of phosphorus

Boigelot, R., Graz, Y., Bourgel, C., Defoort, F., Poirier, J.

Journal:

Ceramics International

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

10

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Lipschitz robust control from off-policy trajectories

Fonteneau, Raphael, Ernst, Damien, Boigelot, Bernard, Louveaux, Quentin

Year:

2014

Language:

english

File:

PDF, 379 KB

english, 2014

11

Introducing Molecular Structural Analysis Using a Guided Systematic Approach Combined with an Interactive Multiplatform Web Application

Agnello, ArmÃ©linda, Vanberg, StÃ©phane, Tonus, CÃ©line, Boigelot, Bernard, Leduc, Laurent, Damblon, Christian, Focant, Jean-FranÃ§ois

Journal:

Journal of Chemical Education

Year:

2020

File:

PDF, 1.27 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски